1. Constraint Databases
پدیدآورنده : edited by Gabriel Kuper, Leonid Libkin, Jan Paredaens.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Database management.
رده :
QA76
.
9
.
C67
E358
2000
2. Database theory--ICDT 2005 : 10th International Conference, Edinburgh, UK, January 5-7, 2005 : proceedings
پدیدآورنده : Thomas Eiter, Leonid Libkin )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Database management
رده :
QA
76
.
L28
Vol
.
3363
3. Database theory: ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005: proceedings
پدیدآورنده : International Conference on Database Theory )01th: 5002: Edinburgh, Scotland(
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : Congresses ، Database management
رده :
QA
76
.
9
.
D3
I557
4. Database theory: ICDT 2005: 10th international conference, Edinburgh, UK, January 5-7, 2005: proceedings
پدیدآورنده : Thomas Eiter, Leonid Libkin ]eds.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Database management
رده :
QA
76
.
9
.
D3
I557
2005
5. Elements of Finite Model Theory
پدیدآورنده : libkin ,leonid
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Model Theory
رده :
EBOOK
,
QA
L53
9
.
7
6. Elements of finite model theory
پدیدآورنده : Libkin, Leonid.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Model theory
رده :
QA
9
.
7
.
L53
2004
7. Elements of finite model theory
پدیدآورنده : by Leonid Libkin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Model theory.
رده :
QA9
.
7
B954
2011
8. Foundations of data exchange /
پدیدآورنده : Marcelo Arenas (Pontificia Universidad Católica de Chile), Pablo Barceló (Universidad de Chile), Leonid Libkin (University of Edinburgh), Filip Murlak (Uniwersytet Warszawski, Poland).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data transmission systems.,Datenaustausch.,Datenmanagement.,Relationales Datenbanksystem.,XML.
9. Generalized quantifiers and computation
پدیدآورنده : Jouko Väänänen (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
10. In Search of Elegance in the Theory and Practice of Computation
پدیدآورنده : / Chiew Tan, Michael Fourman-Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
11. Logic, Language, Information, and Computation
پدیدآورنده : / Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
12. Logic, language, information, and computation :
پدیدآورنده : Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
W67
2013
13. Relational and XML Data Exchange
پدیدآورنده : / Arenas, Marcelo
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ELECTRONIC&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ENGINEERING, ELECTRICAL
رده :
E-BOOK
14. Relational and XML Data Exchange
پدیدآورنده : / Marcelo Arenas, Pablo Barcelo, Leonid Libkin, Filip Murlak, M. Tamer Ozsu
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
15. Semantics in databases
پدیدآورنده : Bernhard Thalheim, Leonid Libkin )eds.(
کتابخانه: (طهران)
موضوع : ، Database management,، Database design
رده :
QA
76
.
L28
Vol
.
1358